标识符（identifier）是指用来标识某个实体的一个符号，在不同的应用环境下有不同的含义。在计算机编程语言中，标识符是用户编程时使用的名字，用于给变量、常量、函数、语句块等命名，以建立起名称与使用之间的关系。标识符通常由字母和数字以及其它字符构成。

在程序设计语言中，标识符是用作程序的某一元素的名字的字符串或用来标识源程序中某个对象的名字的。这个元素可以是一个语句标号，一个过程或函数、一个数据元素（例如一个标量变量或一个数组）或程序本身。最通常是，标识符这个字几乎与变量名同义地使用。

在程序数据的位置在整个程序执行期间保持不变的系统中，用于标量变量的标识符联系到存储器地址，而存储器地址又指向机器的存储器内的物理单元，该单元又含有一个值的表示。标识符与一个值之间的中间关系通常对程序员是透明的，因此在实际中在一个变量的名字（即其标识符）与其值（它是分配给该标识符的存储单元的当前内容）之间出现混淆。

在大多数程序设计语言中，标识符可由任何字母数字字符串形成，长度往往有限制（通常为6到8个字符），只要最左边字符是字母。有些语言还容许采用专用字符。